1	제목(Title)	네트워크 프린터 취약점 분석
	저자(Author)	장한빈 김형식 Hanbin Jang Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2019 한국소프트웨어종합학술대회
	원문수록처(Citation)	VOL 46 NO. 02 PP. 0851 ~ 0852 2019. 12
2	제목(Title)	스마트 컨트랙트 호환 프로그래밍 언어 동향 조사
	저자(Author)	이대화 지우중 김형식 Daehwa Rayer Lee Woojoong Ji Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2018 한국소프트웨어종합학술대회
	원문수록처(Citation)	VOL 45 NO. 02 PP. 1490 ~ 1492 2018. 12
3	제목(Title)	마이크로커널의 스택 기반 버퍼오버플로우 취약점 탐지기법 제안
	저자(Author)	신동순 김형식 Dongsoon Shin Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2018 한국소프트웨어종합학술대회
	원문수록처(Citation)	VOL 45 NO. 02 PP. 0977 ~ 0979 2018. 12
4	제목(Title)	저전력 소비 센서를 이용한 실내 위치 탐지 기술
	저자(Author)	최원석 김형식 Wonseok Choi Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2018 한국소프트웨어종합학술대회
	원문수록처(Citation)	VOL 45 NO. 02 PP. 0953 ~ 0955 2018. 12
5	제목(Title)	클라우드 컴퓨팅 솔루션에서의 Last Level Cache 은닉채널을 이용한 백도어 제어
	저자(Author)	이상민 김형식 Sangmin Lee Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2017 한국소프트웨어종합학술대회
	원문수록처(Citation)	VOL 44 NO. 02 PP. 1080 ~ 1082 2017. 12
6	제목(Title)	동적 분석 회피를 위한 안드로이드 에뮬레이터 탐지 기법
	저자(Author)	이소라 김형식 Sora Lee Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2015년 제42회 정기총회 및 동계학술발표회
	원문수록처(Citation)	VOL 42 NO. 02 PP. 0846 ~ 0848 2015. 12
7	제목(Title)	DRM Content Format의 무결성 체크 우회: MelOn의 음악 서비스 사례 연구
	저자(Author)	최주섭 김형식 Jusup Choi Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2015 한국컴퓨터종합학술대회
	원문수록처(Citation)	VOL 42 NO. 01 PP. 2051 ~ 2053 2015. 06
8	제목(Title)	IoT 기기를 위한 도메인 관리 프레임워크
	저자(Author)	박경원 조준성 김형식 Kyungwon Park Junsung Cho Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2015 한국컴퓨터종합학술대회
	원문수록처(Citation)	VOL 42 NO. 01 PP. 1087 ~ 1089 2015. 06
9	제목(Title)	스마트홈 보안 기술 및 정책 동향
	저자(Author)	조금환 강진아，조준성 송영배，김형식 Geumhwan Cho Jina Kang JunSung Cho Youngbae Song Hyoungshick Kim
	수록저널(Journal)	한국정보처리학회 2015년 춘계학술발표대회
	원문수록처(Citation)	VOL 22 NO. 01 PP. 0445 ~ 0448 2015. 04
10	제목(Title)	트래픽 분석을 통한 카카오톡 사용자 행동 추론
	저자(Author)	박경원 김형식 Kyungwon Park Hyoungshick Kim
	수록저널(Journal)	한국정보과학회 2014년 제41회 정기총회 및 동계학술발표회
	원문수록처(Citation)	VOL 41 NO. 02 PP. 1408 ~ 1410 2014. 12